We criticize the lack of neuroanatomical precision in the Grodzinsky target article. We propose a more precise neuroanatomical characterization of syntactic processing and suggest that syntactic procedures are supported by the left frontal operculum in addition to the anterior part of the superior temporal gyrus, which appears to be associated with syntactic knowledge representation.

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The (...) reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary. (shrink)

Collective, synchronous music-making is far from ubiquitous across traditional, small-scale societies. We describe societies that lack collective music and offer hypotheses to help explain this cultural variation. Without identifying the factors that explain variation in collective music-making across these societies, theories of music evolution based on social bonding (Savage et al.) or coalition signaling (Mehr et al.) remain incomplete.

Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such (...) as choice sequences, the continuum, the fan theorem, order and well-order. Brouwer's own powerful style is evident throughout the work. (shrink)

Beth models of analysis are used in model theoretic proofs of the disjunction and (numerical) existence property. By glueing strings of models one obtains a model that combines the properties of the given models. The method asks for a common generalization of Kripke and Beth models. The proof is carried out in intuitionistic analysis plus Markov's Principle. The main new feature is the external use of intuitionistic principles to prove their own preservation under glueing.

We discuss a number of topics that are central in Brouwer's intuitionism. A complete treatment is beyond the scope of the paper, the reader may find it a useful introduction to Brouwer's papers.

Beth models of analysis are used in model theoretic proofs of the disjunction and existence property. By glueing strings of models one obtains a model that combines the properties of the given models. The method asks for a common generalization of Kripke and Beth models. The proof is carried out in intuitionistic analysis plus Markov's Principle. The main new feature is the external use of intuitionistic principles to prove their own preservation under glueing.